“비결정적 유한 상태 오토마톤”